Capitalisme et système-monde

Système D'Indexation et de Recherche d'Images par le Contenu

Dans cet article, nous présentons un système d’indexation et de recherche d’images par le contenu Requit. Chaque image est représentée par un arbre quaternaire et notre base d’images est stockée en une structure de données appelée arbre quaternaire générique. Ce dernier permet de minimiser l’espace de stockage par partage d’informations entre les images et facilite les opérations entre elle.

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

Quelques algorithmes entre le monde des graphes et les nuages de points

Le triangle hippocratique dans le monde gréco-romain: le malade, sa maladie et son médecin

connexion with the remainder of the book, and I cannot see what purpose it serves. Chapters two to five comprise the bulk of the book and are by far the best and the most rewarding of study. A good account is given of lead mining in the ancient world, of smelting and of cupellation, and there is also much information on the lead mines of antiquity and an excellent chapter on the production and ...

Bulletin de correspondance hellénique, supplément 28: L'Eau, la santé et la maladie dans le monde grec

and conclusions can be put into practice, with the essential prerequisite that they are mediated to a wider audience. The concluding part, with contributions on the relationship between the media and academia, advocates increased mutual understanding between the two fields. To sum up, the compilation offers a sometimes surprising conglomeration of contributions, ranging from demographic analysi...